more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 10298

[filed under theme 5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic ]

Full Idea

Some authors argue that second-order logic (with standard semantics) is not logic at all, but is a rather obscure form of mathematics.

Gist of Idea

Some say that second-order logic is mathematics, not logic

Source

Stewart Shapiro (Higher-Order Logic [2001], 2.4)

Book Ref

'Blackwell Guide to Philosophical Logic', ed/tr. Goble,Lou [Blackwell 2001], p.50